An Operational Component Specification Method

We propose an operational component speciication method that provides execution models for analyzing behaviors as well as adopts checking rules for consistency. Our proposed operational component speciica-tion method will help the users to capture the meaning of components in a precise and abstract manner. Our method is mainly based on two ideas, object-orientation and the action system. Object-orientation makes speci-cations easy to understand and the action system leads to a simple and clear view of behaviors. Our method utilize Petri net formalism, especially the notion of tokens , in order to handle dynamic connguration in each component. We develop an extended version of Petri nets, called Object Petri Nets, to build execution models and extend analysis techniques of Petri nets.